面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

一种电离层TEC格点预测模型

基于分析时间序列数据的门限控制单元（GRU）神经网络模型，利用电离层TEC网格点历史数据、太阳活动指数、地磁活动指数作为预测因子，提出一种高精度电离层TEC格点预测模型.对全球60个网格点的数据进行了模型预测和对比实验，得到北半球平均相对精度的均值为83.96%，高于南半球的73.60%，表明预测模型在北半球的适应性更好，且中低纬地区的适应性优于高纬地区；预测模型在磁扰动期的平均相对精度的均值比磁平静期平均相对精度的均值高，约1.95%；与基于递归神经网络（RNN）、长短时记忆网络（LSTM）和双向长短时记忆网络（Bi-LSTM）的电离层TEC单站预测模型相比，本文预测模型的均方根误差（RMSE）平均为原来的80.8%.      

面向快速响应产品的星上目标定位及识别方法

针对遥感卫星星上目标的定位及识别，本文面向快速响应应用需求，首先对星上目标定位及识别工作模式进行研究，总结出狭义和广义两种模式，其次重点对像方-物方坐标双向定位算法进行梳理，并针对典型地物目标星上自动识别算法提出研究思路，最后给出算法的应用方法流程。本文研究为快速响应产品星上智能处理提供方法参考。     

诊断键合图在液体火箭发动机故障诊断中的应用

研究了通过诊断键合图模型建立液体火箭发动机解析冗余关系的故障诊断方法。通过在液体火箭发动机键合图模型中加入观测信号和虚拟传感器的方法，建立其诊断键合图模型，并利用此模型构建了系统的解析冗余关系。提出了根据诊断键合图因果路径并利用解析冗余关系残差趋势分析建立具有残差变化方向故障特征矩阵的方法，使故障特征值能更好地反映故障特征。最后利用仿真数据对诊断结果进行验证和分析，表明该方法建模简单、诊断速度快、准确性高。     

神经网络方法在太阳质子事件短期预报中的应用

在大量统计结果的基础上,深入研究了太阳质子事件预报机理．总结了质子事件爆发与太阳活动区面积、位置、McIntosh结构、磁结构以及前两天活动区爆发耀斑事件数目之间的关系．然后,在神经网络的基础上建立了太阳质子事件短期预报模型,并对2000年以后12个未参加训练的样本进行测试,结果对事件预报的准确率为83％．此外,我们还利用该模型对2002年1-4月发生的几次质子事件进行了预报试验,结果发现,这期间发生的6次事件都被预报．其中3次质子事件系统预报提前了3天,两次事件预报提前了2天,一次事件提前1天预报．     

MONITORING OF ENERGETIC PARTICLE ENVIRONMENT INSIDE THE CHINA-BRAZIL EARTH RESOURCE SATELLITE

On 14 October 1999, the Chinese-Brazil earth resource satellite (CBERS-1) was launched in China. On board of the satellite there was an instrument designed at Peking University to detect the energetic particle radiation inside the satellite so the radiation fluxes of energetic particles in the cabin can be monitored continuously. Inside a satellite cabin, radiation environment consists of ether penetrated energetic particles or secondary radiation from satellite materials due to the interactions with primary cosmic rays.Purpose of the detectors are twofold, to monitor the particle radiation in the cabin and also to study the space radiation environment The data can be used to study the radiation environment and their effects on the electronics inside the satelhte cabin. On the other hand, the data are useful in study of geo-space energetic particle events such as solar proton events, particle precipitation and variations of the radiation belt since there should be some correlation between the radiation situation inside and outside the satellite.The instrument consists of two semi-conductor detectors for protons and electrons respectively. Each detector has two channels of energy ranges. They are 0.5-2MeV and ≥2MeV for electrons and 5-30MeV and 30-60MeV for protons. Counting rate for all channels are up to 104/(cm2@s)and power consumption is about 2.5 W. There are also the additional functions of CMOS TID (total integrated dose) effect and direct SEU monitoring. The data of CBMC was first sent back on Oct. 17 1999 and it's almost three years from then on. The detector has been working normally and the quality of data is good.The preliminary results of data analysis of CBMC not only reveal the effects of polar particle precipitation and radiation belt on radiation environment inside a satellite, but also show some important features of the geo-space energetic particle radiation.As one of the most important parameters of space weather, the energetic charged particles have great influences on space activities and ground tech nology. CBMC is perhaps the first long-term on-board special equipment to monitor the energetic particle radiation environment inside the satellite and the data it accnmulated are very useful in both satellite designing and space research.     

室火轰燃的大涡模拟

采用一套修正的适用于低马赫数浮力流的N-S方程组来描述火灾场,运用Smagorinsky亚格子模型的大涡模拟方法对室内池火的轰燃发展过程进行了数值模拟,把模拟与实验结果进行了对比和分析。结果表明,该方法能较好地预测轰燃。同时模拟结果显示火焰区向房间后部偏转稍大,近壁处温度预测的误差大一些,随着亚格子模型的不断完善和计算能力的提高,用该技术来预测轰燃现象会更加准确。     

低速压气机静叶非定常Clocking效应数值模拟

采用三维粘性非定常数值模拟方法研究了重复级低速压气机内部非定常流动,其中包括静叶Clocking(时序)效应以及尾迹-边界层、尾迹-尾迹和尾迹-泄漏流的相互作用.对静叶时序效应的结果分析显示,当两级静叶相对周向位置改变时最大效率变化只有0.1%,表明低速压气机中静叶时序效应不明显.另外,非定常结果流动图画显示,在非定常环境下上游周期性尾迹的通过对下游叶片边界层、尾迹以及叶尖泄漏流的发展都有一定影响.     

单向复合材料在低温下的应力集中及强度

首先采用计及基体拉力的修正剪滞模型,研究了在低温情形下受纵向拉伸荷载作用的单向纤维增强复合材料由部分纤维及基体断裂所导致的应力重新分布。然后采用随机临界核理论,对单向纤维增强复合材料在低温情形下的拉伸破坏过程进行了细观统计分析,定量地研究了低温对拉伸强度的影响。计算结果表明,在低温环境下,E-玻璃纤维和碳纤维复合材料的应力集中因子有不同程度的改变,其强度极限均比常温情形下高。